退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:构造型理论中逆构pDL的完备性和可判定性
Doczkal, Christian; Bard, Joachim;
机译:构造型理论中CTL的完整性和可判定性结果
机译:建构型理论中CTL的完整性和可判定性结果
机译:Coq建构型理论中的常规语言表征。
机译:构造型理论中一阶逻辑的完备性定理
机译:在实施建设性类型理论中的自动推理。
机译:Coq的Hammer:从属类型理论的自动化
机译:Coq构造型理论中逆PDL的完备性
机译:1.手动绕线式百叶窗(MR.No.40型),2.半自动绕线式百叶窗(MR.No.41型),3.全自动绕线式百叶窗(MR.No.42型) ,4.盲存储盒(MR.No. 43型),5.弯钩止动板(MR.No. 44),6.半自动防雨罩和波纹管盲板(MR.No. 45) )
机译:适用于基于PDL(页面描述语言)的图像形成处理的图像形成装置和记录介质,该图像形成装置和记录介质在完成对PDL的对象的数据分析之前,使用推测处理来生成显示列表
机译:一类预制的,独立的,完整的Caratterizzzato组件的理论描述和构造解决方案,由区别的构造和构成设备确定适合于实现pe的功能性代表
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。